<html>
<head><meta charset="utf-8"><title>meeting 2019.05.07 · t-compiler/wg-polonius · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/index.html">t-compiler/wg-polonius</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E05.2E07.html">meeting 2019.05.07</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="165100246"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.05.07/near/165100246" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E05.2E07.html#165100246">(May 07 2019 at 18:59)</a>:</h4>
<p>hello friends from <span class="user-group-mention" data-user-group-id="1184">@WG-polonius</span> :)</p>



<a name="165100322"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.05.07/near/165100322" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E05.2E07.html#165100322">(May 07 2019 at 19:00)</a>:</h4>
<p>Hi!</p>



<a name="165100422"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.05.07/near/165100422" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E05.2E07.html#165100422">(May 07 2019 at 19:01)</a>:</h4>
<p>I assume we'll have a shorter meeting today</p>



<a name="165100453"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.05.07/near/165100453" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E05.2E07.html#165100453">(May 07 2019 at 19:01)</a>:</h4>
<p>Sounds good; I've just awoken from having a migraine and then sleeping for for hours or so, so I'm not exactly at the top of my game</p>



<a name="165100465"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.05.07/near/165100465" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E05.2E07.html#165100465">(May 07 2019 at 19:01)</a>:</h4>
<p>yeah I've heard :/</p>



<a name="165100527"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.05.07/near/165100527" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E05.2E07.html#165100527">(May 07 2019 at 19:02)</a>:</h4>
<p>our usual <a href="https://paper.dropbox.com/doc/Polonius-Roadmap--Abw5txE2EuUEhL3E1CMrnzuWAg-hk3a9ynduUN2gk1A0NNTF" target="_blank" title="https://paper.dropbox.com/doc/Polonius-Roadmap--Abw5txE2EuUEhL3E1CMrnzuWAg-hk3a9ynduUN2gk1A0NNTF">roadmap</a> document</p>



<a name="165100556"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.05.07/near/165100556" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E05.2E07.html#165100556">(May 07 2019 at 19:02)</a>:</h4>
<p>IIUC Niko has indeed written up more steps for Albin</p>



<a name="165100585"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.05.07/near/165100585" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E05.2E07.html#165100585">(May 07 2019 at 19:03)</a>:</h4>
<p>Yeah I think at this point -- modulo the specifics of drop -- we've got complete instructions for all of liveness</p>



<a name="165100594"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.05.07/near/165100594" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E05.2E07.html#165100594">(May 07 2019 at 19:03)</a>:</h4>
<p>and Albin has been running with those and has been going smoothly despite the current migraine</p>



<a name="165100626"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.05.07/near/165100626" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E05.2E07.html#165100626">(May 07 2019 at 19:03)</a>:</h4>
<p>probably I should get "ahead of the game" and try to write up some directions on drop as well as starting to sketch out what moves would look like</p>



<a name="165100629"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.05.07/near/165100629" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E05.2E07.html#165100629">(May 07 2019 at 19:03)</a>:</h4>
<p>yes, and I have done the work on calculating use-live and drop-live variables, and am currently working on moving on to live regions</p>



<a name="165100641"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.05.07/near/165100641" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E05.2E07.html#165100641">(May 07 2019 at 19:03)</a>:</h4>
<p>both of those prob require me to go look against at rustc and refresh my memory there</p>



<a name="165100714"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.05.07/near/165100714" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E05.2E07.html#165100714">(May 07 2019 at 19:04)</a>:</h4>
<p><span class="user-mention" data-user-id="116113">@lqd</span> it looks like the testsuite analysis is not something we wrote in the roadmap doc, but I think we should :)</p>



<a name="165100731"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.05.07/near/165100731" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E05.2E07.html#165100731">(May 07 2019 at 19:04)</a>:</h4>
<p>agreed, I'll do so, and in the meeting minutes</p>



<a name="165100760"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.05.07/near/165100760" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E05.2E07.html#165100760">(May 07 2019 at 19:04)</a>:</h4>
<p>in any case I'll work on that</p>



<a name="165100790"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.05.07/near/165100790" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E05.2E07.html#165100790">(May 07 2019 at 19:05)</a>:</h4>
<p>just to update everyone else:</p>



<a name="165100829"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.05.07/near/165100829" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E05.2E07.html#165100829">(May 07 2019 at 19:05)</a>:</h4>
<p>I've just been rerunning the rustc test suite with polonius, and will be looking more closely at the failures, and the differences from the NLL tests specifically</p>



<a name="165100848"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.05.07/near/165100848" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E05.2E07.html#165100848">(May 07 2019 at 19:06)</a>:</h4>
<p>as we expect polonius support to have regressed a bit over time</p>



<a name="165100903"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.05.07/near/165100903" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E05.2E07.html#165100903">(May 07 2019 at 19:06)</a>:</h4>
<p>Cool, how automated is that?</p>



<a name="165100917"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.05.07/near/165100917" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E05.2E07.html#165100917">(May 07 2019 at 19:06)</a>:</h4>
<p>running the tests or locating the problems ?</p>



<a name="165100956"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.05.07/near/165100956" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E05.2E07.html#165100956">(May 07 2019 at 19:07)</a>:</h4>
<p>I think I meant running the tests</p>



<a name="165100972"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.05.07/near/165100972" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E05.2E07.html#165100972">(May 07 2019 at 19:07)</a>:</h4>
<p>completely automated :)</p>



<a name="165101006"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.05.07/near/165101006" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E05.2E07.html#165101006">(May 07 2019 at 19:07)</a>:</h4>
<p>it's a testing mode you can ask as part of x.py test (--compare-mode polonius IIRC)</p>



<a name="165101067"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.05.07/near/165101067" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E05.2E07.html#165101067">(May 07 2019 at 19:08)</a>:</h4>
<p>Is it CI:d also? I guess that would be interesting for me as well, as I start ripping things out of rustc and moving it to Polonius</p>



<a name="165101085"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.05.07/near/165101085" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E05.2E07.html#165101085">(May 07 2019 at 19:08)</a>:</h4>
<p>Ah, ok, cool! Is this documented anywhere?</p>



<a name="165101095"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.05.07/near/165101095" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E05.2E07.html#165101095">(May 07 2019 at 19:08)</a>:</h4>
<p>That's even better than CI in fact</p>



<a name="165101109"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.05.07/near/165101109" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E05.2E07.html#165101109">(May 07 2019 at 19:08)</a>:</h4>
<p>not on CI, on CI only the smaller smoke tests are run IIUC. I'm not sure it's documented tbh</p>



<a name="165101122"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.05.07/near/165101122" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E05.2E07.html#165101122">(May 07 2019 at 19:09)</a>:</h4>
<p><span class="user-mention" data-user-id="218716">@lokalmatador</span> have you been able to do what you wanted wrt rustc building / profiling and so on btw ?</p>



<a name="165101166"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.05.07/near/165101166" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E05.2E07.html#165101166">(May 07 2019 at 19:09)</a>:</h4>
<p>Oh, I also had some troubles with the tests when I regenerated the facts using the updated rustc, but I never looked into it closer</p>



<a name="165101173"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.05.07/near/165101173" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E05.2E07.html#165101173">(May 07 2019 at 19:09)</a>:</h4>
<p>The Polonius unit tests that is</p>



<a name="165101255"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.05.07/near/165101255" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E05.2E07.html#165101255">(May 07 2019 at 19:10)</a>:</h4>
<p>I had a feeling it was because of some hard-coded values that might have changed, in particular for variable numbers, but I wasn't sure</p>



<a name="165101270"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.05.07/near/165101270" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E05.2E07.html#165101270">(May 07 2019 at 19:10)</a>:</h4>
<p>I just thought I should mention this in case it raises any red flags with anyone</p>



<a name="165101295"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.05.07/near/165101295" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lokalmatador <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E05.2E07.html#165101295">(May 07 2019 at 19:10)</a>:</h4>
<blockquote>
<p><span class="user-mention silent" data-user-id="218716">lokalmatador</span> have you been able to do what you wanted wrt rustc building / profiling and so on btw ?</p>
</blockquote>
<p>yeah building and everything works out, still getting a better picture of rustc and trying to get rid of a workshop organization (though unrelated to here but keeping me uselessly busy)</p>



<a name="165101325"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.05.07/near/165101325" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lokalmatador <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E05.2E07.html#165101325">(May 07 2019 at 19:11)</a>:</h4>
<p>next thing is profiling and then trying to work off the list of task from the roadmap document</p>



<a name="165101328"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.05.07/near/165101328" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E05.2E07.html#165101328">(May 07 2019 at 19:11)</a>:</h4>
<p>no red flags immediately jump at me, but we'll take a look at it more closely</p>



<a name="165101356"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.05.07/near/165101356" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E05.2E07.html#165101356">(May 07 2019 at 19:11)</a>:</h4>
<p>Anyway, I reverted the modified fact files for issue 46780 and that solved the symptom regardless of the underlying problem</p>



<a name="165101361"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.05.07/near/165101361" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E05.2E07.html#165101361">(May 07 2019 at 19:11)</a>:</h4>
<blockquote>
<p>next thing is profiling and then trying to work off the list of task from the roadmap document</p>
</blockquote>
<p>awesome, good to hear :)</p>



<a name="165101422"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.05.07/near/165101422" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E05.2E07.html#165101422">(May 07 2019 at 19:12)</a>:</h4>
<p>Yay!</p>



<a name="165101445"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.05.07/near/165101445" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E05.2E07.html#165101445">(May 07 2019 at 19:12)</a>:</h4>
<p><span class="user-mention" data-user-id="204115">@Albin Stjerna</span> sometimes the output needs to be updated (eg by <code>--blessing</code> the test run) so that the test output matches the new rustc behaviour</p>



<a name="165101482"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.05.07/near/165101482" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E05.2E07.html#165101482">(May 07 2019 at 19:13)</a>:</h4>
<p>Hm, but this doesn't go for Polonius right? This is for rustc tests?</p>



<a name="165101483"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.05.07/near/165101483" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E05.2E07.html#165101483">(May 07 2019 at 19:13)</a>:</h4>
<p>but since you mention facts it might not be exactly that; we'll look into it :)</p>



<a name="165101504"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.05.07/near/165101504" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E05.2E07.html#165101504">(May 07 2019 at 19:13)</a>:</h4>
<p>I...haven't looked into any rustc tests yet</p>



<a name="165101523"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.05.07/near/165101523" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E05.2E07.html#165101523">(May 07 2019 at 19:13)</a>:</h4>
<p>ah alright, so all this was specifically about rustc tests, not the polonius tests</p>



<a name="165101573"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.05.07/near/165101573" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E05.2E07.html#165101573">(May 07 2019 at 19:14)</a>:</h4>
<p>I figured</p>



<a name="165101607"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.05.07/near/165101607" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E05.2E07.html#165101607">(May 07 2019 at 19:14)</a>:</h4>
<p>that is, you might encounter those in your rustc PR, but since it's about changing facts, it's less likely I feel</p>



<a name="165101642"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.05.07/near/165101642" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E05.2E07.html#165101642">(May 07 2019 at 19:15)</a>:</h4>
<p>I figured as well, but maybe when I start removing the region logic, I'm not sure</p>



<a name="165101651"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.05.07/near/165101651" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E05.2E07.html#165101651">(May 07 2019 at 19:15)</a>:</h4>
<p>anyway, I'll look at our rustc tests more closely this week</p>



<a name="165101664"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.05.07/near/165101664" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E05.2E07.html#165101664">(May 07 2019 at 19:15)</a>:</h4>
<p>Albin is not blocked either IIUC</p>



<a name="165101669"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.05.07/near/165101669" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E05.2E07.html#165101669">(May 07 2019 at 19:15)</a>:</h4>
<p>Nope!</p>



<a name="165101690"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.05.07/near/165101690" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E05.2E07.html#165101690">(May 07 2019 at 19:15)</a>:</h4>
<p>Might be before next meeting if the region logic goes according to plan</p>



<a name="165101765"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.05.07/near/165101765" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E05.2E07.html#165101765">(May 07 2019 at 19:16)</a>:</h4>
<p>But if <span class="user-mention" data-user-id="116009">@nikomatsakis</span> keeps working on the next steps meanwhile it should all work out</p>



<a name="165101773"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.05.07/near/165101773" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E05.2E07.html#165101773">(May 07 2019 at 19:16)</a>:</h4>
<p>Niko might want to look at move analysis, as it seems liveness is pretty much planned out</p>



<a name="165101782"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.05.07/near/165101782" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E05.2E07.html#165101782">(May 07 2019 at 19:16)</a>:</h4>
<p>but they don't have a lot of time :)</p>



<a name="165101831"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.05.07/near/165101831" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E05.2E07.html#165101831">(May 07 2019 at 19:17)</a>:</h4>
<p>I'm hoping I will become more and more independent with time as well, but it's still a bit too much for me I think</p>



<a name="165101840"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.05.07/near/165101840" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E05.2E07.html#165101840">(May 07 2019 at 19:17)</a>:</h4>
<p>and <span class="user-mention" data-user-id="218716">@lokalmatador</span> is making steady progress and will ask questions if any come up and has workshops to organise as well :)</p>



<a name="165101857"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.05.07/near/165101857" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E05.2E07.html#165101857">(May 07 2019 at 19:17)</a>:</h4>
<p>The question I guess is whether to look more closely at the "drop" stuff in rustc, or the "moves"</p>



<a name="165101872"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.05.07/near/165101872" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lokalmatador <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E05.2E07.html#165101872">(May 07 2019 at 19:17)</a>:</h4>
<blockquote>
<p>and <span class="user-mention silent" data-user-id="218716">lokalmatador</span> is making steady progress and will ask questions if any come up and has workshops to organise as well :)</p>
</blockquote>
<p>sure will do and hopefully the last one</p>



<a name="165101878"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.05.07/near/165101878" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E05.2E07.html#165101878">(May 07 2019 at 19:17)</a>:</h4>
<p>I guess a starting point for moves would be to cover how the Lark compiler did it (the analysis in Lark was different but similar)</p>



<a name="165101923"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.05.07/near/165101923" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E05.2E07.html#165101923">(May 07 2019 at 19:18)</a>:</h4>
<p>I'll try to do some of both :)</p>



<a name="165101951"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.05.07/near/165101951" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E05.2E07.html#165101951">(May 07 2019 at 19:18)</a>:</h4>
<p>low priority is also the illegal subset relation questions we had</p>



<a name="165101959"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.05.07/near/165101959" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E05.2E07.html#165101959">(May 07 2019 at 19:18)</a>:</h4>
<p>oh dear</p>



<a name="165101984"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.05.07/near/165101984" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E05.2E07.html#165101984">(May 07 2019 at 19:19)</a>:</h4>
<p>Personally, I am really looking forward to seeing how the final pure Polonius borrowcheck compares to NLL performance-wise</p>



<a name="165102008"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.05.07/near/165102008" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E05.2E07.html#165102008">(May 07 2019 at 19:19)</a>:</h4>
<p>but don't worry about it just yet, I probably won't have time to look into those right away niko :)</p>



<a name="165102029"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.05.07/near/165102029" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E05.2E07.html#165102029">(May 07 2019 at 19:19)</a>:</h4>
<p>(I know it's still a long way to go)</p>



<a name="165102043"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.05.07/near/165102043" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E05.2E07.html#165102043">(May 07 2019 at 19:19)</a>:</h4>
<p><span class="user-mention" data-user-id="204115">@Albin Stjerna</span> heh I was typing "it could take a while" :)</p>



<a name="165102140"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.05.07/near/165102140" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E05.2E07.html#165102140">(May 07 2019 at 19:20)</a>:</h4>
<p>did anybody want to mention something else ?</p>



<a name="165102212"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.05.07/near/165102212" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E05.2E07.html#165102212">(May 07 2019 at 19:21)</a>:</h4>
<p>if not: thank you for your time everyone, take care (esp if you have a migraine) have a nice evening/afternoon! <span aria-label="wave" class="emoji emoji-1f44b" role="img" title="wave">:wave:</span></p>



<a name="165102571"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.05.07/near/165102571" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E05.2E07.html#165102571">(May 07 2019 at 19:25)</a>:</h4>
<blockquote>
<p>Personally, I am really looking forward to seeing how the final pure Polonius borrowcheck compares to NLL performance-wise</p>
</blockquote>
<p>I'm afraid :) that said, we're already scaling <em>way</em> better than NLL did when it was doing the more sensitive analysis, so that helps.</p>



<a name="165102583"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.05.07/near/165102583" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E05.2E07.html#165102583">(May 07 2019 at 19:25)</a>:</h4>
<p>Thanks <span class="user-mention" data-user-id="116113">@lqd</span> btw!</p>



<a name="165103068"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.05.07/near/165103068" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E05.2E07.html#165103068">(May 07 2019 at 19:31)</a>:</h4>
<blockquote>
<blockquote>
<p>Personally, I am really looking forward to seeing how the final pure Polonius borrowcheck compares to NLL performance-wise</p>
</blockquote>
<p>I'm afraid :) that said, we're already scaling <em>way</em> better than NLL did when it was doing the more sensitive analysis, so that helps.</p>
</blockquote>
<p>I think the potentially most fun part of this entire project is tuning the Datalog model for the borrowcheck itself; as I see it the other steps are just preparation for this, even though that's potentially what my entire master's project will actually end up being</p>



<a name="165103148"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.05.07/near/165103148" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E05.2E07.html#165103148">(May 07 2019 at 19:32)</a>:</h4>
<p>That's the part with the best potential for the typical "spent 200 hours making something 10 000 times worse"  experience I strive for :)</p>



<a name="165103257"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.05.07/near/165103257" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E05.2E07.html#165103257">(May 07 2019 at 19:34)</a>:</h4>
<p>The part that offers fortune, glory, very time-consuming experiments, and a comparatively large portion of whiteboard prototyping</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>